concurrency theoryの例文

例文

1. He founded " CONCUR ", the international conference series in Concurrency Theory, by organising the first two conferences in Amsterdam in 1990 and 1991.
2. Other notable contributions include his work on domain theory in logical form, the lazy lambda calculus, strictness analysis, concurrency theory, interaction categories, and geometry of interaction.
3. Not only is he known for Planner, but his Actor model was influential in concurrency theory ( see Milner's Turing Award lecture ), and in the development of the Scheme programming language ( itself an important influence in CS ).
4. Restoration of unsourced and incorrect content " Erlang's concurrency implementation is the Actor model . " Also WP : BITEing new user : 86.82.44.193 who is an academic researcher on concurrency theory for twenty years and so knows about Erlang.